TAGs: reduced row echelon